The co-occurrence of stress-induced posttraumatic stress disorder and obesity is common, particularly among military personnel but the link between these conditions is unclear. Individuals with comorbid PTSD and obesity manifest other physical and psychological problems, which significantly diminish their quality of life. Current understanding of the pathways connecting stress to PTSD and obesity is focused largely on behavioral mediators alone with little consideration of the biological regulatory mechanisms that underlie their co-occurrence. In this work, we leverage prior knowledge to systematically (...) highlight such bio-behavioral mechanisms and inform on the design of confirmatory pilot studies. We use natural language processing to extract documented regulatory interactions involved in the metabolic response to stress and its impact on obesity and PTSD from over 8 million peer-reviewed papers. The resulting network describes the propagation of stress to PTSD and obesity through 34 metabolic mediators using 302 documented regulatory interactions supported by over 10,000 citations. Stress jointly affected both conditions through 21 distinct pathways involving only two intermediate metabolic mediators out of a total of 76 available paths through this network. Moreover, oxytocin, Neuropeptide-Y, and cortisol supported an almost direct propagation of stress to PTSD and obesity with different net effects. Although stress upregulated both NPY and cortisol, the downstream effects of both markers are reported to relieve PTSD severity but exacerbate obesity. The stress-mediated release of oxytocin, however, was found to concurrently downregulate the severity of both conditions. These findings highlight how a network-informed approach that leverages prior knowledge might be used effectively in identifying key mediators like OXT though experimental verification of signal transmission dynamics through each path will be needed to determine the actual likelihood and extent of each marker’s participation. (shrink)

We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for each premise separately. (...) Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Roberty Alexy''s discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl''s nonmonotonic logic,conditional entailment. Discourse in focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority of rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of (...) the Uniform Commercial Code. (shrink)

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

Argument invention is a method that can be used to help an arguer find arguments that could be used to prove a claim he needs to defend. The aim of this paper is to show how argumentation systems recently developed in artificial intelligence can be applied to the task of argument invention. One such system called Carneades is featured. Carneades can be used to analyze arguments, evaluate arguments, to make an argument diagram, and to construct arguments from a database. Using (...) some simple examples, the paper explains how Carneades works as a system of argument invention. (shrink)

This paper compares the features and methods of the two leading implemented systems that offer a tool for helping a user to find or invent arguments to support or attack a designated conclusion, the Carneades Argumentation System and the IBM Watson Debater tool. The central aim is to contribute to the understanding of scholars in informal logic, rhetoric and argumentation on how these two software systems can be useful for them. One contribution of the paper is to explain to these (...) potential users how the two tools are applicable to the task of inventing arguments by using some simple illustrative examples. Another is to redefine the structure of argument invention as a procedure. (shrink)

Argument invention is a method that can be used to help an arguer find arguments that could be used to prove a claim he needs to defend. The aim of this paper is to show how argumentation systems recently developed in artificial intelligence can be applied to the task of argument invention. One such system called Carneades is featured. Carneades can be used to analyze arguments, evaluate arguments, to make an argument diagram, and to construct arguments from a database. Using (...) some simple examples, the paper explains how Carneades works as a system of argument invention. (shrink)

We present a high-level declarative programming language for representing argumentation schemes, where schemes represented in this language can be easily validated by domain experts, including developers of argumentation schemes in informal logic and philosophy, and serve as executable specifications for automatically constructing arguments, when applied to a set of assumptions. This new rule language for representing argumentation schemes is validated by using it to represent twenty representative argumentation schemes.

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. Carneades also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

This paper shows how the critical questions matching an argumentation scheme can be mod-eled in the Carneades argumentation system as three kinds of premises. Ordinary premises hold only if they are supported by sufficient arguments. Assumptions hold, by default, until they have been questioned. With exceptions the negation holds, by default, until the exception has been supported by sufficient arguments. By “sufficient arguments”, we mean arguments sufficient to satisfy the applicable proof standard.

Carneades is an open source argument mapping application and a programming library for building argumentation support tools. In this paper, Carneades’ support for argument reconstruction, evaluation and visualization is illustrated by modeling most of the factual and legal arguments in Popov v Hayashi.

Five errors that fit under the category of jumping to a conclusion are identified: (1) arguing from premises that are insufficient as evidence to prove a conclusion (2) fallacious argument from ignorance, (3) arguing to a wrong conclusion, (4) using defeasible reasoning without being open to exceptions, and (5) overlooking/suppressing evidence. It is shown that jumping to a conclusion is best seen not as a fallacy itself, but as a more general category of faulty argumentation pattern underlying these errors and (...) some related fallacies. (shrink)

Martin Heidegger devotes extensive discussion to medieval philosophers, particularly to their treatment of Truth and Being. On both these topics, Heidegger accuses them of forgetting the question of Being and of being responsible for subjugating truth to the modern crusade for certainty: ‘truth is denied its own mode of being’ and is subordinated ‘to an intellect that judges correctly’. Though there are some studies that discuss Heidegger’s debt to and criticism of medieval thought, particularly that of Thomas Aquinas, there (...) is no constructive reply to his assertions. As a result, Heidegger’s critique had an unprecedented effect on the credibility of medieval philosophy, whereby great portions of the philosophical community dismiss it altogether as an illegitimate Onto‐Theology. It is the aim of this study to offer a constructive reply that will fundamentally grapple with these allegations. By constructive reply we mean not only a reply that avoids the problems Heidegger raises regarding existence, essence and truth, but more importantly, one that uses Heidegger’s criticism in order to present a more insightful account of these notions. The present study is composed of two parts where the second serves as a sort of addendum. The first part, the core of this study, is an attempt to develop an understanding of the distinction between essence and existence that, on the one hand, accords with Heidegger’s criticism while on the other hand advances our understanding of how we think and understand reality. After presenting Heidegger’s depiction of Aquinas’s distinction between essence and existence (esse) as a real distinction, the study will present several views propounded by scholars of Aquinas regarding the status of this distinction. It will be argued that it is not clear whether the distinction is real, formal or conceptual, and that different types of distinction are applied in different places, particularly in regard to the phantasm that Aquinas considers essential to the human act of thinking. The second part diverges from the first part and focuses on Heidegger’s criticism of Aquinas’s conception of truth as adequation, i.e., what it is that grounds the possibility of truth as adequation. This divergence is necessary in order to present a full metaphysical response to Heidegger’s criticism. Since the aim of the present study is to argue that Aquinas’s philosophical system can contend with Heidegger’s criticism, a partial reply would greatly diminish its effectiveness. (shrink)

Descartes is not simply our iconic modern philosopher, mathematician or scientist. He stands as the cultural symbol for modernity itself. This title offers insights into the relationship between Descartes and the Modern, and the very meaning and status of Modernity itself.

Doug Walton, who died in January 2020, was a prolific author whose work in informal logic and argumentation had a profound influence on Artificial Intelligence, including Artificial Intelligence and Law. He was also very interested in interdisciplinary work, and a frequent and generous collaborator. In this paper seven leading researchers in AI and Law, all past programme chairs of the International Conference on AI and Law who have worked with him, describe his influence on their work.

Plausible (eikotic) reasoning known from ancient Greek (late Academic) skeptical philosophy is shown to be a clear notion that can be analyzed by argumentation methods, and that is important for argumentation studies. It is shown how there is a continuous thread running from the Sophists to the skeptical philosopher Carneades, through remarks of Locke and Bentham on the subject, to recent research in artificial intelligence. Eleven characteristics of plausible reasoning are specified by analyzing key examples of it recognized as important (...) in ancient Greek skeptical philosophy using an artificial intelligence model called the Carneades Argumentation System (CAS). By applying CAS to ancient examples it is shown how plausible reasoning is especially useful for gaining a better understanding of evidential reasoning in law, and argued that it can also be applied to everyday argumentation. Our analysis of the snake and rope example of Carneades is also used to point out some ways CAS needs to be extended if it is to more fully model the views of this ancient philosopher on argumentation. (shrink)

Over the course of the last four decades, William Leon McBride has distinguished himself as one of the most esteemed and accomplished philosophers of his generation. This volume—which celebrates the occasion of his seventy-fifth birthday—includes contributions from colleagues, friends, and formers students and pays tribute to McBride’s considerable achievements as a teacher, mentor, and scholar.

This paper describes the application of eight statistical and machine-learning methods to derive computer models for predicting mortality of hospital patients with pneumonia from their findings at initial presentation. The eight models were each constructed based on 9847 patient cases and they were each evaluated on 4352 additional cases. The primary evaluation metric was the error in predicted survival as a function of the fraction of patients predicted to survive. This metric is useful in assessing a model’s potential to assist (...) a clinician in deciding whether to treat a given patient in the hospital or at home. We examined the error rates of the models when predicting that a given fraction of patients will survive. We examined survival fractions between 0.1 and 0.6. Over this range, each model’s predictive error rate was within 1% of the error rate of every other model. When predicting that approximately 30°K of the patients will survive, all the models have an error rate of less than 1.5%. The models are distinguished more by the number of variables and parameters that they contain than by their error rates; these differences suggest which models may be the most amenable to future implementation as paper-based guidelines. (shrink)

The success of deep brain stimulation (DBS) for movement disorders and the improved understanding of the neurobiologic and neuroanatomic bases of psychiatric diseases have led to proposals to expand current DBS applications. Recent preclinical and clinical work with Alzheimer's disease and obsessive-compulsive disorder, for example, supports the safety of stimulating regions in the hypothalamus and nucleus accumbens in humans. These regions are known to be involved in addiction and overeating associated with obesity. However, the use of DBS targeting these areas (...) as a treatment modality raises common ethical considerations, which include informed consent, coercion, enhancement, threat to personhood, and manipulation of the reward center. Pilot studies for both of these conditions are currently investigational. If these studies show promise, then there is a need to address the ethical concerns related to the initiation of clinical trials including the reliability of preclinical evidence, patient selection, study design, compensation for participation and injury, cost-effectiveness, and the need for long-term follow-up. Multidisciplinary teams are necessary for the ethical execution of such studies. In addition to establishing safety and efficacy, the consideration of these ethical issues is vital to the adoption of DBS as a treatment for these conditions. We offer suggestions about the pursuit of future clinical trials of DBS for the treatment of addiction and overeating associated with obesity and provide a framework for addressing ethical concerns related to treatment. (shrink)

The study of anarchism as a philosophical, political, and social movement has burgeoned both in the academy and in the global activist community in recent years. Taking advantage of this boom in anarchist scholarship, Nathan J. Jun and Shane Wahl have compiled twenty-six cutting-edge essays on this timely topic in New Perspectives on Anarchism.

Importance Informed consent is essential to ethical, rigorous research and is important to recruitment and retention in cancer trials.Objective To examine cancer clinical trial (CCT) participants’ perceptions of informed consent processes and variations in perceptions by cancer type.Design and Setting and Participants Cross-sectional survey from mixed-methods study at National Cancer Institute–designated Northeast comprehensive cancer center. Open-ended and forced-choice items addressed: (1) enrollment and informed consent experiences and (2) decision-making processes, including risk-benefit assessment. Eligibility: CCT participant with gastro-intestinal or genitourinary, hematologic-lymphatic (...) malignancies, lung cancer, and breast or gynecological cancer (N = 334).Main Outcome Measures Percentages satisfied with consent process and information provided; and assessing participation’s perceptions of risks/benefits. Multivariable logistic or ordinal regression examined differences by cancer type.Results Most patient-participants felt well informed by the consent process (more than 90% overall and by cancer type) and. most (87.4%) reported that the consent form provided all the information they wanted, although nearly half (44.8%) reported that they read the form somewhat carefully or less. More than half (57.9%) said that talking to research staff (i.e., the consent process) had a greater impact on participation decisions than reading the consent form (2.1%). A third (31.1%) were very sure of joining in research studies before the informed consent process (almost half of lung cancer patients did—47.1%). Most patients personally assessed the risks and benefits before consenting. However, trust in physicians played an important role in the decision to enroll in CCT.Conclusions and Relevance Cancer patients rely less on written features of the informed consent process than on information obtained from the research staff and their own physicians. Research should focus on information and communication strategies that support informed consent from referring physicians, researchers, and others to improve patient risk-benefit assessment and decision-making. (shrink)

We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...) a history of the last quarter century of the field, and provide some insights into where it has come from, where it is now, and where it might go. (shrink)

For early modern metaphysician Anne Conway, the world comprises creatures. In some sense, Conway is a monist about creatures: all creatures are one. Yet, as Jessica Gordon-Roth has astutely pointed out, that monism can be understood in very different ways. One might read Conway as an ‘existence pluralist’: creatures are all composed of the same type of substance, but many substances exist. Alternatively, one might read Conway as an ‘existence monist’: there is only one created substance. Gordon-Roth has (...) done the scholarship a great favor by illuminating these issues in Conway. However, this article takes issue with Gordon-Roth's further view that Conway ‘oscillates’ between the extremes of existence pluralism and monism. In its place, I argue we should read Conway as a priority monist: the whole of creation is ontologically prior to its parts. (shrink)

The paper will explore a key tension between eternity and temporality that comes to the fore in the seeming contradiction between freedom of the human will and divine foreknowledge of future contingents. It will be claimed that Duns Scotus’s adaptation of Thomas Aquinas’s view reduces the tension between a human being’s freedom and divine foreknowledge of future contingents to the question of how to conflate the now of eternity and our experience of the instantaneous now. Scotus’s account of the (...) matter is unfortunately not satisfying and it is the purpose of this paper to develop this insight further in a speculative manner. In order to make such co-nowness possible, it will be asked how the eternal and the temporal can co-cause together. This problem will be tackled through a development of Scotus’s doctrine of the will taken elsewhere, in order to examine how the divine and the human wills can occur together. It will be claimed that such co-willing produces a co-nowness of the eternal and the instantaneous ‘nows’ which generates a logical temporal movement. (shrink)

Aquinas’s process of abstraction of the particular thing into a universal concept is of pivotal importance for grounding his philosophy and theology in a natural framework. Much has been said and written regarding Aquinas’s doctrine of abstraction, yet recent studies still consider it to be ‘nothing more than a kind of magic.’ This problematic claim is not without foundation, for in trying to understand exactly how this process works, we are constantly faced with an unbridgeable abyss and the repeated vague (...) explanations made by Aquinas. The plain truth is that Aquinas explains what abstraction ought to do and yet, most of the time, he does not explain how it is to be done. This paper intends to show that although Aquinas does not present us with a mechanism for the theory of abstraction, we are nevertheless able to construct a viable mechanism which accords with Aquinas’s guidelines. The aim of constructing a working mechanism that corresponds to what Aquinas demands of the process of abstraction is twofold: First, it attempts to extricate Aquinas’s doctrine of abstraction from the claims of being a quasi-natural doctrine. Second, a viable process of abstraction which is derived from Aquinian-Aristotelian sources can approach contemporary cognitive problems from a fresh point of view. (shrink)

Abstract:In contrast to “social contract” theories of the corporation, a moral justification of the corporation as actual, not hypothetical, agreement is presented. Central to the justification is the idea of personal projects, as developed by Loren Lomasky. The key idea is the role that corporations can play in the construction and advancement of personal, value-creating projects. The concept of the corporation as actual agreement, as a type of “right of association” theory, is defended against influential criticism of such theories by (...) Thomas Donaldson. (shrink)

ABSTRACT It is easy to think of consciousness as a medium, with two teams of philosophers disagreeing over whether the medium is transparent or translucent. G. E. Moore's “Refutation of Idealism” is still enlisted in defense of transparence, and Thomas Nagel's “What Is It Like to Be a Bat?” is still used to motivate translucency. I argue against both of these familiar interpretations of these articles and proceed to defend the very first response to Moore's article: James's insistence that (...) consciousness, construed as a transparent or translucent medium, just does not exist. Finally, and quite surprisingly, by refusing to treat consciousness as any sort of medium, James is able to account for how easy it is, and yet how difficult it is, to escape our insipid existence. (shrink)

This book tells the personal story of Dugald Stewart (1753-1828), whose circular memorial monument on Calton Hill is one of Edinburgh’s best known landmarks. Originally a mathematician like his father, Stewart held the Chair of Moral Philosophy at Edinburgh University for 25 years and became the most distinguished philosopher in Britain. He was an outstandingly gifted teacher whose character and eloquence influenced students who were to become famous in many walks of life. Two of them became Prime Minister. ... A (...) lifelong Whig, Stewart was in France at the outbreak of the French Revolution, and there knew Benjamin Franklin and Thomas Jefferson. He wrote biographical memoirs of Adam Smith and two other contemporaries. He gave Britain’s first course on economics, attended by all four founder members of the Edinburgh Review, and his political, as well as his philosophical influence extended well into the nineteenth century. His wife was a generous hostess whose lively and amusing letters are quoted extensively in the book, and she and Stewart are shown to have been significant figures in the cultural life of the time. (shrink)

Thomas Talbott has recently argued in this journal that the three propositions 1) God wills universal salvation 2) God has the power to produce universal salvation and 3) some persons are not saved are inconsistent. I contend that this claim is only true if God has no overriding purposes that would place restrictions on the means God uses to achieve God’s ends. One possible example of such an overriding purpose would be God’s aim to produce the most good. I (...) end by suggesting that while God’s purpose of universal salvation does render the achievement of this end probable, it is by no means necessary. (shrink)